Type Variability and Completeness of Interfaces in Java Applications

نویسندگان

  • Hani Abdeen
  • Osama Shata
چکیده

Interfaces are widely used as central design elements of Java applications. Although interfaces are abstract types similar to abstract classes, the usage of interfaces in Java applications may considerably differ from the usage of abstract classes. Unlike abstract classes, interfaces are meant to enable multiple inheritance in Java programs. Hence, interfaces are meant to encode shared similarities between classes belonging to different class-type hierarchies. Therefore, it is frequent to use interfaces as partial types, where an interface specifies one specific aspect or usage of its implementing classes. In this paper, we investigate interfaces' usage in Java applications from two perspectives. First, we investigate the usage of interfaces as types of classes belonging to different class-type hierarchies (i.e., interface's type variability). Second, we investigate the usage of interfaces as partial types of implementing classes (i.e., interface's type completeness).

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On new types of contraction mappings in bipolar metric spaces and applications

Our aim is to present some common fixed point theorems in bipolar metric spaces via certain contractive conditions. Some  examples have been provided to illustrate the effectiveness of new results. At the end, we give two applications dealing with homotopy theory and integral equations.

متن کامل

The Problem of Bytecode Verification in Current Implementations of the JVM

The main problems of Java Bytecode Verification are embedded subroutines and multiple inheritance via interfaces. The problem with interfaces has been solved (by using sets of reference types or by introducing a run-time check for the invokeinterface instruction). It is widely believed that also the problem with subroutines has been solved. This is not true. Most research has been focussed on s...

متن کامل

Type-2 Fuzzy Inference System Visual Components for Building Java Intelligent Applications

This paper introduces a JT2FISPanel and JT2FISClusteringPanel, a Java visual component for Interval Type-2 Fuzzy Inference Systems that can be used to build Java Intelligent Applications. The main features and functionalities are described. To do so we show user interfaces in order to compare the developed components with existing tools.

متن کامل

Suzuki-type fixed point theorems for generalized contractive mappings‎ ‎that characterize metric completeness

‎Inspired by the work of Suzuki in‎ ‎[T. Suzuki‎, ‎A generalized Banach contraction principle that characterizes metric completeness‎, Proc‎. ‎Amer‎. ‎Math‎. ‎Soc. ‎136 (2008)‎, ‎1861--1869]‎, ‎we prove a fixed point theorem for contractive mappings‎ ‎that generalizes a theorem of Geraghty in [M.A‎. ‎Geraghty‎, ‎On contractive mappings‎, ‎Proc‎. ‎Amer‎. ‎Math‎. ‎Soc., ‎40 (1973)‎, ‎604--608]‎an...

متن کامل

ON FELBIN’S-TYPE FUZZY NORMED LINEAR SPACES AND FUZZY BOUNDED OPERATORS

In this note, we aim to present some properties of the space of all weakly fuzzy bounded linear operators, with the Bag and Samanta’s operator norm on Felbin’s-type fuzzy normed spaces. In particular, the completeness of this space is studied. By some counterexamples, it is shown that the inverse mapping theorem and the Banach-Steinhaus’s theorem, are not valid for this fuzzy setting. Also...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1407.8251  شماره 

صفحات  -

تاریخ انتشار 2014